1. Foundations of real-time computing : formal specifications and methods
پدیدآورنده : edited by Andre M. van Tilborg, Gary M. Koob
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing
رده :
QA
76
.
54
.
F678
1991
2. Foundations of real-time computing : formal specifications and methods
پدیدآورنده : edited by Andre M. van Tilborg, Gary M. Koob
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Real-time data processing
رده :
QA
76
.
54
.
F678
1991
3. Practical foundations of business system specifications
پدیدآورنده : edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business -- Data processing.,Computer software -- Development.,Software engineering.
4. The logical approach to syntax : foundations, specifications, and implementations of theories of government and binding
پدیدآورنده : Stabler, Edward P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Grammar, Comparative and general -- Syntax,، Language and logic,، Government-binding theory )Linguistics(,، Generative grammar,، Computational linguistics
رده :
P
295
.
S82
